H ? « ‹ ← → › »

Language peer sets for PROMELA ++:
United States↑
United States/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑

PROMELA ++(ID:3941/pro052)

alternate simple view
Country: United States
Designed 1998

Extensions to PROMELA
Related languages
PROMELA → PROMELA ++   Evolution of
References:
  • A. Basu, M. Hayden, G. Morrisett, and T. von Eicke (1997) A. Basu, M. Hayden, G. Morrisett, and T. von Eicken. "A language-based approach to protocol construction" Abstract
          in [DSL 1997] (1997) Kamin, S. (editor) DSL 97 First ACM SIGPLAN Workshop on Domain-Specific Lanugages, Paris, France, January 1997
  • Anindya Basu, J. (1998) Anindya Basu, J. Gregory Morrisett, Thorsten von Eicken: Promela++: A Language for Constructing Correct and Efficient Protocols. INFOCOM 1998: 455-462
          in [DSL 1997] (1997) Kamin, S. (editor) DSL 97 First ACM SIGPLAN Workshop on Domain-Specific Lanugages, Paris, France, January 1997
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder